Pouring liquids: A study in commonsense physical reasoning
نویسنده
چکیده
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order language; and demonstrates that this inference and other similar inferences can be justified as deductive conclusions from theory and the problem specification.
منابع مشابه
Pouring Liquids: A Study in Commonsense Physical Reasoning: Appendix: Verification of Pouring Scenario
The formal statements of the lemmas in this appendix, like the axioms in the main text of the paper, are (intended to be) written in a style that could be given directly to an automated theorem checker, after some straightfoward syntactic desugaring. In the text of the proofs here, by contrast, I have followed the (God knows, rigid enough) comparatively informal style of normal mathematical wri...
متن کاملEthnomethodology and Conversational Analysis
In a speech community, people utilize their communicative competence which they have acquired from their society as part of their distinctive sociolinguistic identity. They negotiate and share meanings, because they have commonsense knowledge about the world, and have universal practical reasoning. Their commonsense knowledge is embodied in their language. Thus, not only does social life depend...
متن کاملMid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking
All true believers shall break their eggs at the convenient end: and which is the convenient end, seems, in my humble opinion, to be left to every man's conscience, or at least in the power of the chief magistrate to determine. Abstract We present an axiomatization of a problem in commonsense reasoning, characterizing the proper procedure for cracking an egg and transferring its contents to a b...
متن کاملAutomating Commonsense Reasoning for Elementary Physical Science
A fundamental part of human experience is the interaction with physical materials of many different kinds: rigid solids, non-rigid solids of many different kinds (e.g. cloth, string, rubber bands, springs, and so on), liquids and gasses. The rich pre-scientific understanding of these materials acquired by every child at an early age is critically important, both because it enables a person to d...
متن کاملAn Interface for Crowd-Sourcing Spatial Models of Commonsense
Commonsense is a challenge not only for representation and reasoning but also for large scale knowledge engineering required to capture the breadth of our ‘everyday’ world. One approach to knowledge engineering is to ‘outsource’ the effort to the public through games that generate structured commonsense knowledge from user play. To date, such games have focused on symbolic and textual knowledge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Artif. Intell.
دوره 172 شماره
صفحات -
تاریخ انتشار 2008